4 found
Order:
  1.  5
    Model Theoretic Approaches to Definability.J. Richard Büchi & Kenneth J. Danhof - 1972 - Mathematical Logic Quarterly 18 (4‐6):61-70.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  18
    Model Theoretic Approaches to Definability.J. Richard Büchi & Kenneth J. Danhof - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6):61-70.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  13
    Variations on a theme of cantor in the theory of relational structures.J. Richard Büchi & Kenneth J. Danhof - 1973 - Mathematical Logic Quarterly 19 (26‐29):411-426.
  4.  24
    A Proof of the Compactness Theorem.Kenneth J. Danhof - 1974 - Mathematical Logic Quarterly 20 (8-12):179-182.